stubdom: fix x86_64 irq stack size
authorKeir Fraser <keir.fraser@citrix.com>
Tue, 25 Mar 2008 17:55:39 +0000 (17:55 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Tue, 25 Mar 2008 17:55:39 +0000 (17:55 +0000)
commit798780cf11a892e3eaac207794a12bff23ddb598
tree3ae19c1fa65689bbdaa8d6ea5a09299f65d6521c
parent774a123b38a3dbe08ad1ab569edc4e848cf67a62
stubdom: fix x86_64 irq stack size
by making it use STACK_SIZE like other places.

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
extras/mini-os/events.c